module Module

type T =
    abstract P: int with get,

()
